Nuprl Definition : q_less
11,40
postcript
pdf
q_less(
a
;
b
) == set_blt(oset_of_ocmon(qadd_grp);
a
;
b
)
latex
Definitions
qadd_grp
,
oset_of_ocmon(
g
)
,
set_blt(
p
;
a
;
b
)
FDL editor aliases
q_less
origin